numeral(0).
numeral(succ(X)) :- numeral(X).

odd(succ(0)).
odd(succ(succ(N))) :- odd(N).

